package uk.ac.manchester.cs.haphan.modbench;

/**
 *
 * @author Ha Phan
 * The University of Manchester
 * July 2010
 */
public class Main {

    /**
     * @param args the command line arguments
     */
    public static void main(String[] args) {
        //String path = "justs";
        //Benchmarker bm = new Benchmarker(path);
        //bm.start();
        
       ModuleGenerator modGenerator = new ModuleGenerator(ModuleGenerator.REASONER_FACTPLUSPLUS);
       modGenerator.generate();
        
    }

}
